First-Order Glue

نویسنده

  • Miltiadis Kokkonidis
چکیده

Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and more elegant as it captures the exact requirements for Gluestyle compositionality without ad-hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) secondorder system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Presentation and Analysis of Methods for Increasing Glue Joint Strength in the Same Length Joint

Glue joints are more useful in Aerospace so in this article we presented new method for glue joint. In this method the maximum stresses that occurs at the edges of the bottom glue joint and cause ultimate failure in this type of connection is Decrease and increase the glue joint strength. In this method glue in the area overlapping the discrete and separate column considered Also, the connectio...

متن کامل

Why Glue a Donkey to an F-structure When You Can Constrain and Bind It Instead

The semantic treatment of anaphora using λ-DRT with Glue which I present combines the strengths of both by assigning to each the task where it arguably fares best: Glue composes meanings and DRT deals with anaphoric resolution. Key to this approach is a simple first-order system for λ-DRT that allows LFG syntactic constraints to be transferred into the dynamic representation language. This para...

متن کامل

A Scaling-up Synthesis from Laboratory Scale to Pilot Scale and to near Commercial Scale for Paste-Glue Production

This paper concerns on developing a synthesis method of paste-glue production for gummed tape using a corn-based starch as an alternative feedstock from laboratory-scale to pilot-scale and to near commercial scale. Basically, two methods of synthesis were developed to produce paste-glue in laboratory scale. Based on the two methods, we then scale-up the earlier laboratory scale data to pilot-sc...

متن کامل

Efficient Squares and Turing Universality at Temperature 1 with a Unique Negative Glue

Is Winfree’s abstract Tile Assembly Model (aTAM) “powerful?” Well, if certain tiles are required to “cooperate” in order to be able to bind to a growing tile assembly (a.k.a., temperature 2 self-assembly), then Turing universal computation and the efficient self-assembly of N ×N squares is achievable in the aTAM (Rotemund and Winfree, STOC 2000). So yes, in a computational sense, the aTAM is qu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of Logic, Language and Information

دوره 17  شماره 

صفحات  -

تاریخ انتشار 2008